acm sigbed
|
emsoft
|
participants
Junya Shijubo
EMSOFT 2023: 23rd International Conference on Embedded Software
Probabilistic Black-Box Checking via Active MDP Learning
Junya Shijubo
,
Masaki Waga
, and
Kohei Suenaga
10.1145/3609127
https://arxiv.org/pdf/2308.07930